PERFORMANCE MODELING AND EVALUATION OF TOPOLOGIES FOR LOW-LATENCY SCI SYSTEMS By DAMIAN MARK GONZALEZ A THESIS PRESENTED TO THE GRADUATE SCHOOL OF THE UNIVERSITY OF FLORIDA IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE DEGREE OF MASTER OF SCIENCE
نویسندگان
چکیده
For my family iv ACKNOWLEDGMENTS I would like to thank Dr. Alan George for giving me the opportunity to gain valuable technical experience at the HCS Lab, and for insisting on high standards. I also wish to thank Matthew Chidester, Kyu-Sang Park (both at the University of Florida) and Håkon Bugge (at Scali Computer AS, Norway) for their timely and valuable assistance throughout the development of this work. Thanks also go to the members of the HCS Lab past and present who have each taught me valuable lessons along the way, and helped make the experience worthwhile.
منابع مشابه
Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling a semantic recommender system for medical prescriptions and drug interaction detection
Introduction: The administration of appropriate drugs to patients is one of the most important processes of treatment and requires careful decision-making based-on the current conditions of the patient and its history and symptoms. In many cases, patients may require more than one drug, or in addition to having a previous illness and receiving the drug, they need new drugs for the new illness, ...
متن کاملPerformance modeling and evaluation of topologies for low-latency SCI systems
This paper presents an analytical performance characterization and topology comparison from a latency perspective for the Scalable Coherent Interface (SCI). Experimental methods are used to determine constituent latency components and verify the results obtained by these analytical models as close approximations of reality. In contrast with simulative models, analytical SCI models are faster to...
متن کاملThermal Design Considerations and Performance Evaluation of Cryogenic Tube in Tube Heat Exchangers
Heat exchangers are the most important equipment in refrigeration processes. Design and modeling of heat exchangers operating at low temperatures are different from other regular heat exchangers. This study includes two sections. In the first section, design and modeling considerations needed for evaluating the real thermal behavior of heat exchangers at low temperatures were discussed. The...
متن کامل